Home

:_

ket1 :_ ket2
the infix operator for ket label colon space merge
merge the labels of the two kets, with a colon and space in between, and multiply their coefficients
useful for combining a category with a value
effectively a short-cut for: ket1 _ |: > _ ket2

-- convert apple to "type" fruit:
|fruit> :_ |apple>
    |fruit: apple>

extract-value, extract-category, + , - , _ , __ , .

infix type 1